Biblioteca do ISEL

Your search returned 45 results. Subscribe to this search

|
Constraint-based scheduling : applying constraint programming to scheduling problems / Philippe Baptiste, Claude Le Pape, Wim NuijtenPublication: Boston : Kluwer Academic Publishers, 2001Description: XII, 198 p. : il. ; 25 cmAvailability: Items available for loan: [BAP. 519.863] (1).

Handbook of metaheuristics / Fred Glover, Gary A. KochenbergerPublication: Boston : Kluwer Academic, 2003Description: XII, 556 p. : il.Availability: Items available for loan: [GLO. 004.8] (1).

Foundations of rational agency / Michael Wooldridge, Anand RaoPublication: Dordrecht : Kluwer, 1999Description: 298 p. : il. ; 25 cmAvailability: Items available for loan: [WOO. 681.5(007)] (1).

Basic proof theory / A. S. Troelstra, H. SchwichtenbergPublication: Cambridge : University Press, 2003Description: XII, 417 p. ; 23 cmAvailability: Items available for loan: [TRO. 510.6] (1).

Dynamic programming / Richard BellmanPublication: Mineola : Dover Publications, 2003Description: XXV, 340 p. : il. ; 22 cmAvailability: No items available Checked out (1).

Dynamic programming : models and applications / Eric V. DenardoPublication: Mineola : Dover Publications, 2003Description: XII, 227 p. : il. ; 22 cm.Availability: No items available Checked out (1).

Constraint-based local search / Pascal Van Hentenryck, Laurent MichelPublication: Cambridge : The Mit Press, 2005Description: XIX, 422 p. : il. ; 24 cm.Availability: Items available for reference: [VAN 681.5(007)] (1). Checked out (1).

The intelligent micro : artificial intelligence for microcomputers / Noel WilliamsPublication: London : McGraw-Hill Book Company, 1986Description: XII, 198 p. : il. ; 23 cm.Availability: Items available for loan: [WIL. 681.5(007)] (1). Items available for reference: [WIL. 681.5(007)] (1).

Genetic algorithms + data stuctures = evolution programs / Zbigniew MichalewiczPublication: Berlin : Springer-Verlag, 1994Description: XVI, 340 p. : il. ; 24 cm.Availability: Items available for loan: [MIC. 681.5(007)] (1).

Rule-based programming / Thaddeus J. Kowalski, Leon S. LevyPublication: Boston : Kluwer, 1996Description: XVI, 305 p. : il.Availability: Items available for loan: [KOW. 004.8] (2). Items available for reference: [KOW. 004.8] (1).

Evolutionary algorithms in engineering applications / D. Dasgupta, Z. MichalewiczPublication: Berlin : Springer, 1997Description: XXI, 554 p. : il.Availability: Items available for loan: [DAS. 004.8] (1). Items available for reference: [DAS. 004.8] (1).

Artificial intelligence : an engineering approach / Robert J. SchalkoffPublication: New York : McGraw-Hill Publishing Company, 1990Description: XXIV, 646 p. : il. ; 24 cmAvailability: Items available for loan: [SCH. 681.5(007)] (1). Items available for reference: [SCH. 681.5(007)] (1).

Foundations of inductive logic programming / Shan-Hwei Nienhuys-Cheng, Ronald de WolfPublication: Berlin : Springer, 1997Description: XVII, 404 p. : il.Availability: Items available for loan: [NIE. 004.8] (2). Items available for reference: [NIE. 004.8] (1).

Reinforcement learning : an introduction / Richard S. Sutton, Andrew G. BartoPublication: Cambridge : A Bradford Book, 1998Description: XVIII, 322 p. : il. ; 24 cmAvailability: Items available for loan: [SUT. 681.5(007)] (2). Items available for reference: [SUT. 681.5(007)] (1).

From logic to logic programming / Kees DoetsPublication: Cambridge : The MIT Press, 1994Description: XII, 214 p. : il.Availability: Items available for loan: [DOE. 004.8] (1). Items available for reference: [DOE. 004.8] (1).

Artificial intelligence : a modern approach / Stuart J. Russell, Peter NorvigPublication: Englewood Cliffs : Prentice-Hall, 1995Description: XXVIII, 932 p. : il. ; 24 cmAvailability: Items available for loan: [RUS. 681.5(007)] (2). Items available for reference: [RUS. 681.5(007)] (1).

Rules of encounter : designing conventions for automated negotiation among computers / Jeffrey S. Rosenschein, Gilad ZlotkinPublication: Cambridge : The MIT Press, 1998Description: XXI, 229 p. : il. ; 24 cmAvailability: Items available for loan: [ROS. 681.5(007)] (1).

Genetic programming : an introduction : on the automatic evolution of computer programs and its applications / Wolfgang Banzhaf... [et al.]Publication: San Francisco : Morgan Kaufmann Publishers, 1998Description: XIX, 470 p. : il.Availability: Items available for loan: [BAN. 004.8] (1).

Inductive logic programming : from machine learning to software engineering / Francesco Bergadano, Daniele GunettiPublication: Cambridge : The MIT Press, 1996Description: VII, 240 p. : il.Availability: Items available for loan: [BER. 004.8] (2). Items available for reference: [BER. 004.8] (1).

Mind children : the future of robot and human intelligence / Hans MoravecPublication: Cambridge : Harvard University Press, 1988Description: 214 p. : il. ; 24 cm.Availability: Items available for loan: [MOR. 681.5(007)] (1).

C4.5 : programs for machine learning / J. Ross QuinlanPublication: San Mateo : Morgan Kaufmann Publishers, 1993Description: X, 302 p. : il. ; 24 cmAvailability: Items available for loan: [QUI. 681.5(007)] (1).

An introduction to natural computation / Dana H. BallardPublication: Cambridge : The MIT Press, 1997Description: XXII, 307 p. : il.Availability: Items available for loan: [BAL. 004.8] (3). Items available for reference: [BAL. 004.8] (1).

Genetic algorithms + data structures = evolution programs / Zbigniew MichalewiczPublication: Berlin : Spinger, 1999Description: XX, 387 p. : il. ; 24 cm.Availability: Items available for loan: [MIC. 681.5(007)] (1).

Programming with constraints : an introduction / Kim Marriott, Peter J. StuckeyPublication: Cambridge : The MIT Press, 1998Description: XIV, 467 p. : il. ; 26 cm.Availability: Items available for loan: [MAR. 681.5(007)] (1). Items available for reference: [MAR. 681.5(007)] (1).

Intelligent agents IV : agents theories, architectures, and languages / Munindar P. Singh, Anand Rao, Michael J. WooldridgePublication: Berlin : Springer, 1998Description: XIV, 350 p. : il ; 24 cmAvailability: Items available for loan: [SIN. 681.5(007)] (1).

Reasoning about knowledge / Ronald Fagin... [et al.]Publication: Cambridge : MIT, 1996Description: XIII, 477 p. : il.Availability: Items available for loan: [FAG. 004.8] (1). Items available for reference: [FAG. 004.8] (1).

Genetic programming II : automatic discovery of reusable programs / John R. KozaPublication: Cambridge : The MIT Press, 1998Description: XX, 746 p. : il.Availability: Items available for loan: [KOZ. 004.8] (3). Items available for reference: [KOZ. 004.8] (1).

Intelligent java applications for the internet and intranets / Mark WatsonPublication: San Francisco : Morgan Kaufmann Publishers, 1997Description: XX, 377 p. : il. ; 24 cm. + CD-ROM.Availability: Items available for loan: [WAT. 681.5(007)] (2).

Industrial applications of genetic algorithms / Charles L. Karr, L. Michael FreemanPublication: Boca Raton : CRC Press, 1999Description: 350 p. : il.Availability: Items available for loan: [KAR. 004.8] (1).

Data mining using grammar based genetic programming and applications / Man Leung Wong, Kwong Sak LeungPublication: Boston : Kluwer Academic Publishers, 2000Description: XIV, 213 p. : il. ; 24 cmAvailability: Items available for loan: [WON. 681.5(007)] (1).

Automatic re-engineering of software using genetic programming / Conor RyanPublication: Boston : kluwer Academic Publishers, 2000Description: X, 140 p. : il. ; 25 cmAvailability: Items available for loan: [RYA. 681.5(007)] (1).

Reasoning under incomplete information in artificial intelligence : a comparison of formalisms using a single example / Léa SombéPublication: New York : John Wiley & Sons, 1990Description: 324-472 p. : il. ; 26 cmAvailability: Items available for loan: [SOM. 681.5(007)] (1).

Lisp / Patrick Henry Winston, Berthold Klaus Paul HornPublication: Massachusetts : Addison-Wesley, 1993Description: XXI, 611 p. : il. ; 24 cm.Availability: Items available for loan: [WIN. 681.5(007)] (1).

Handbook of logic in artificial intelligence and logic programming / Dov M. Gabbay, C. J. Hogger, J. A. Robinson ; colab. J. SiekmannPublication: Oxford : Clarendon, 1996Description: [pag.var] : il.Availability: Items available for loan: [GAB. 004.8] (5).

Simply logical : intelligent reasoning by example / Peter FlachPublication: Chichester : John Wiley & Sons, 1994Description: XV, 240 p. : il.Availability: Items available for loan: [FLA. 004.8] (1).

Advances in the evolutionary synthesis of intelligent agents / Mukesh J. Patel, Vasant Honavar, Karthik BalakrishnanPublication: Cambridge : MIT, 2001Description: XXIV, 480 p. : il.Availability: Items available for loan: [PAT. 004.8] (1).

Mechanics of robotic manipulation / Matthew T. MasonPublication: Cambridge : MIT Press, 2001Description: XI, 253 p. : il. ; 24 cmAvailability: Items available for loan: [MAS. 621.865.8] (1).

Data mining : practical machine learning tools and techniques with Java implementations / Ian H. Witten, Eibe FrankPublication: San Francisco : Morgan Kaufmann Publishers, 2000Description: XXVI, 371 p. : il. ; 24 cmAvailability: Items available for loan: [WIT. 681.5(007)] (1).

Natural language understanding / James AllenPublication: Redwood City : Benjamin Cummings, 1995Description: XV, 654 p. : il.Availability: Items available for loan: [ALL. 004.43] (1).

Paradigms of artificial intelligence programming : case studies in common lisp / Peter NorvigPublication: San Francisco : Morgan Kaufmann, 1992Description: XXVIII, 946 p. : il.Availability:

Dave Baum's definitive guide to lego mindstorms / Dave BaumPublication: Berkeley : Apress, 2000Description: XI,385 p. : il.Availability: Items available for loan: [BAU. 004.89] (1).

Safe and sound : artificial intelligence in hazardous applications / John Fox, Subrata DasPublication: Menlo Park : American Association for Artificial Intelligence, 2000Description: XXXII, 293 p. : il.Availability: Items available for loan: [FOX 004.8] (1).

Evolutionary computation / D. Dumitrescu...[et al.]Publication: Boca Raton : CRC Press, 2000Description: 386 p. : il.Availability: Items available for loan: [DUM. 004.8] (1).

Data mining : Practical machine learning tools and techniques / Ian H. Witten, Eibe Frank, Mark A. Hall, Christopher J. PalPublication: Cambridge : Morgan Kaufmann, 2017Description: 621 p.Availability: Items available for loan: [WIT. 004.8] (1).

Informática-ISEL